您的位置:首页 > 专委 > 专委名单 > 形式化方法

形式化方法专业委员会

(CCF Task Force on Formal methods 缩写为:CCF TFFM)

形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延生成为计算思维的重要载体。专委会立足于形式化方法核心内容,深化拓展形式化方法与相关领域的交叉,加强学术界与工业界合作,在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作,促进形式化方法在中国的发展。

联系方式

联系人:詹乃军

地址: 北京市海淀区中关村南四街4号,100190

电话: 010-62661615

电子信箱:znj[at]ios.ac.cn


第四届全国形式化方法与应用会议(FMAC 2019)

活动时间:2018-11-30
活动地点:上海
联系方式:傅育熙 fu-yx@cs.sjtu.edu.cn
关键字:会议编号:CCF-19-TC34-01N

主任

林惠民

中国科学院软件所研究员

lhm[at]ios.ac.cn

秘书长

詹乃军

中国科学院软件所研究员

znj[at]ios.ac.cn

副主任

傅育熙

上海交通大学教授

fu-yx[at]cs.sjtu.edu.cn

王 戟

国防科技大学教授

wj[at]nudt.edu.cn

王 义

东北大学教授

wangyi[at]ise.neu.edu.cn

朱惠彪

华东师范大学教授

hbzhu[at]sei.ecnu.edu.cn

委员

  • 卜 磊 南京大学副教授 bulei[at]nju.edu.cn
  • 曹永知 北京大学教授 caoyz[at]pku.edu.cn
  • 曾红卫 上海大学研究员 zenghongwei[at]shu.edu.cn
  • 陈立前 国防科技大学助理研究员 lqchen[at]nudt.edu.cn
  • 陈铭松 华东师范大学副教授 mschen[at]sei.ecnu.edu.cn
  • 陈雨亭 上海交通大学讲师 chenyt[at]cs.sjtu.edu.cn
  • 陈振邦 国防科技大学讲师 zbchen[at]nudt.edu.cn
  • 邓玉欣 华东师范大学教授 yxdeng[at]sei.ecnu.edu.cn
  • 董 威 国防科技大学教授 wdong[at]nudt.edu.cn
  • 董笑菊 上海交通大学副教授 xjdong[at]sjtu.edu.cn
  • 董云卫 西北工业大学教授 Yunweidong[at]nwpu.edu.cn
  • 杜德慧 华东师范大学副教授 dhdu[at]sei.ecnu.edu.cn
  • 杜彦华 北京科技大学副教授 duyanhua[at]ustb.edu.cn
  • 段振华 西安电子科技大学教授 zhhduan[at]mail.xidian.edu.cn
  • 方 菱 中国科学院合肥物质分院副研究员 fang.ling[at]outlook.com
  • 冯新宇 中国科学技术大学教授 xyfeng[at]ustc.edu.cn
  • 顾 斌 北京控制工程研究所研究员 gubinbj[at]sina.com
  • 关 楠 东北大学教授 guannan[at]ise.neu.edu.cn
  • 关 永 首都师范大学教授 guanyong[at]cnu.edu.cn
  • 郭 建 华东师范大学副教授 jguo[at]sei.ecnu.edu.cn
  • 贺 飞 清华大学副教授 hefei[at]tsinghua.edu.cn
  • 胡 宁 中航工业西安航空计算技术研究所研究员 hnhawk[at]163.com
  • 胡海洋

    杭州电子科技大学教授

    hhy[at]mail.zjgsu.edu.cn
  • 黄志球 南京航空航天大学教授 zqhuang[at]nuaa.edu.cn
  • 姜 茸 云南财经大学教授 okgoodbetterbest[at]163.com
  • 焦 莉 中科院软件所研究员 ljiao[at]ios.ac.cn
  • 孔维强 大连理工大学教授 wqkong[at]dlut.edu.cn
  • 李 智 广西师范大学教授 zhili[at]gxnu.edu.cn
  • 李广元 中科院软件所研究员 ligy[at]ios.ac.cn
  • 李国强 上海交通大学副教授 li.g[at]sjtu.edu.cn
  • 李梦君 国防科技大学副教授 mengjun.li[at]163.com
  • 李晓红 天津大学教授 xiaohongli[at]tju.edu.cn
  • 李宣东 南京大学教授 lxd[at]nju.edu.cn
  • 刘 剑 中科院信息工程研究所副研究员 Liujian6[at]iie.ac.cn
  • 刘 江 中科院重庆绿色智能技术研究院副研究员 liujiang[at]cigit.ac.cn
  • 刘 静 华东师范大学教授 jliu[at]sei.ecnu.edu.cn
  • 刘万伟 国防科技大学副教授 wwliu[at]nudt.edu.cn
  • 刘志明 西南大学教授 Zhiming.liu88[at]gmail.com
  • 吕 帅 吉林大学讲师 lus[at]jlu.edu.cn
  • 毛晓光 国防科技大学教授 xgmao[at]nudt.edu.cn
  • 缪淮扣 上海大学教授 hkmiao[at]shu.edu.cn
  • 聂长海 南京大学教授 changhainie[at]nju.edu.cn
  • 钮 俊 宁波大学副教授 niujun[at]nbu.edu.cn
  • 庞 军 卢森堡大学教授 Jun.pang[at]uni.lu
  • 蒲戈光 华东师范大学教授 ggpu[at]sei.ecnu.edu.cn
  • 钱俊彦 桂林电子科技大学教授 qjy2000[at]gmail.com
  • 裘宗燕 北京大学教授 qzy[at]math.pku.edu.cn
  • 佘志坤 北京航空航天大学教授 zhikun.she[at]buaa.edu.cn
  • 施智平

    首都师范大学教授

    Shizp[at]cnu.edu.cn
  • 宋 富 华东师范大学讲师 fsong[at]sei.ecnu.edu.cn
  • 苏开乐 暨南大学教授 kailepku[at]gmail.com
  • 孙 猛 北京大学副教授 sunmeng[at]math.pku.edu.cn
  • 田 聪 西安电子科技大学教授 ctian[at]mail.xidian.edu.cn
  • 王 超 中国科学技术大学副研究员 cswang[at]ustc.edu.cn
  • 王 瑞 首都师范大学讲师 rwang04[at]cnu.edu.cn
  • 王 伟 同济大学副教授 wwang[at]tongji.edu.cn
  • 王海峰 北京交通大学教授 hfwang[at]bjtu.edu.cn
  • 王捍贫 北京大学教授 whpxhy[at]pku.edu.cn
  • 王林章 南京大学教授 lzwang[at]nju.edu.cn
  • 王生原 清华大学副教授 wwssyy[at]tsinghua.edu.cn
  • 王淑灵 中科院软件所助研 wangsl[at]ios.ac.cn
  • 王小兵 西安电子科技大学副教授 xbwang[at]mail.xidian.edu.cn
  • 文艳军 国防科技大学副教授 yjwen[at]nudt.edu.cn
  • 吴 鹏 中国科学院软件研究所副研究员 wp[at]ios.ac.cn
  • 吴怀广 郑州轻工业学院教授 hgawu[at]126.com
  • 吴尽昭 广西民族大学教授 himrwujzh[at]aliyun.com
  • 吴志林 中国科学院软件研究所副研究员 wuzl[at]ios.ac.cn
  • 夏壁灿 北京大学教授 xbc[at]math.pku.edu.cn
  • 肖美华 华东交通大学教授 xiaomh[at]ecjtu.edu.cn
  • 徐立华 华东师范大学副教授 lhxu[at]cs.ecnu.edu.cn
  • 徐田华 北京交通大学副教授 thxu[at]bjtu.edu.cn
  • 许庆国 上海大学教师 qgxu[at]mail.shu.edu.cn
  • 薛建新 上海第二工业大学副教授 jxxue[at]sspu.edu.cn
  • 薛锦云 江西师范大学教授 jinyun[at]vip.sina.com
  • 杨红丽 北京工业大学副教授 yhl.yang[at]gmail.com
  • 杨志斌 南京航空航天大学副研究员 yangzhibin168[at]163.com
  • 叶 宏 中航工业西安航空计算技术研究所副总工程师 mr_yehong[at]163.com
  • 张 健 中科院软件所研究员 zj[at]ios.ac.cn
  • 张 民 华东师范大学副教授 zhangmin[at]sei.ecnu.edu.cn
  • 张 敏 华东师范大学副教授 mzhang[at]sei.ecnu.edu.cn
  • 张 鹏 吉林大学讲师 zhangpengccst[at]jlu.edu.cn
  • 张 天 南京大学副教授 ztluck[at]nju.edu.cn
  • 张 昱 中国科学技术大学副教授 yuzhang[at]ustc.edu.cn
  • 张广泉 苏州大学教授 gqzhang[at]suda.edu.cn
  • 张立军 中科院软件所研究员 zhanglj[at]ios.ac.cn
  • 张苗苗 同济大学研究员 miaomiao[at]tongji.edu.cn
  • 张倩颖 首都师范大学讲师 qyzhang[at]cnu.edu.cn
  • 张文辉 中科院软件所研究员 zwh[at]ios.ac.cn
  • 张兴元 解放军理工大学教授 xingyuanzhang[at]126.com
  • 赵 亮 西安电子科技大学讲师 lzhao[at]xidian.edu.cn
  • 赵光锋 唐山师范学院教授 2295382038[at]qq.com
  • 赵建华 南京大学教授 Zhaojh[at]nju.edu.cn
  • 赵永望 北京航空航天大学副教授 zhaoyw[at]buaa.edu.cn
  • 郑宇军 浙江工业大学副教授 yujun.zheng[at]computer.org
  • 周清雷 郑州大学教授 ieqlzhou[at]zzu.edu.cn
  • 朱维军 郑州大学副教授 zhuweijun[at]zzu.edu.cn
  • 祝 义 江苏师范大学教授 zhuy[at]jsnu.edu.cn